A Slotted Hash Cons for Alpha Invariance
philipzucker.com·41m·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🎯Finite Automata
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·5h
📊Pratt Parsers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.com·13h·
Discuss: www.blogger.com
📐Mathematical Computing
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
Greyscale-box test-driven development
blog.ploeh.dk·5m
🧪Compiler Testing
ECMAScript TC39 proposal-pattern-matching
github.com·5h·
Discuss: Hacker News
🎯Pattern Matching
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
A Kevin week
blog.mitrichev.ch·22h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
🧮Combinator Calculus
Comparative Studies of Quantum Annealing, Digital Annealing, and Classical Solvers for Reaction Network Pathway Analysis and mRNA Codon Selection
arxiv.org·15h
🧩Constraint Solvers
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory